Новая философская энциклопедия - смирнов владимир александрович
Связанные словари
Смирнов владимир александрович
В. А. Смирновым был получен целый ряд значительных результатов в различных областях логики. Разработаны системы секвенциального и натурального вывода с терминами, оказавшимися удобным аппаратом для алгоритмизации процедур поиска доказательства теорем. Эти исследования привели его к работам в области создания компьютерных систем поддержки поиска доказательств. Построен целый спектр временных, модально-временных, релевантных и паранепротиворечивых логик. Особо следует отметить пионерские работы Смирнова в исследовании логик без правил сокращения и в области двухмерных и многомерных логик. В последнем случае рассматриваются атомные предложения различных типов. Он впервые поставил и начал исследовать проблему классификации логических исчислений и, в частности, классификации импликативньй логик. Смирнов привлек внимание мировой общественности к работам Н. А. Васильева и осуществил логическую реконструкцию его идей. Смирновым и рядом его учеников и коллег был получен ряд важных результатов в области силлогистики. Он оставил после себя учеников, работающих в разных разделах современной логики. В области философии и методологии науки Смирнов уделял большое внимание анализу научных теорий: способам их построения (в частности, генетическому методу), исследованию их логической структуры, отношениям между ними, способам введения терминов в состав теорий и т. д. На основе фундаментальных результатов, полученных им в теории определимости, он ввел в научный оборот несколько новых понятий об отношениях между теориями (дефинициальная погружаемость, дефинициальная эквивалентность, рекурсивная переводимость и др.), позволивших сравнивать теории с разной категориальной структурой. Этот понятийный аппарат был использован Смирновым для установления взаимосвязей между рядом теорий, напр., дедуктивной эквивалентности элементарной онтологии Лесневского и одноместного второпорядкового исчисления предикатов.
Соч.: Генетический метод построения научных теорий,— В кн.: Философские проблемы современной формальной логики. М-, 1962; Формальный вывод и логические исчисления. М„ 1972; Логические методы анализа научного знания. М., 1987; Доказательство и его поиск (монография).— В кн.: Логика и компьютер, вып. 3, M., 1996 (Соавт.: В. И. Маркин и др.); Уровни знания и этапы процесса познания.— В кн.: Проблемы логики научного познания. М., 1964; Логические идеи Н. А. Васильева.— В кн.: Труды по истории логики в России. М., 1962; Теория логического вывода. М., 1999 (имеется полная библиография работ В. А. Смирнова).
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 2285 | |
2 | 1814 | |
3 | 1768 | |
4 | 1758 | |
5 | 1672 | |
6 | 1610 | |
7 | 1524 | |
8 | 1491 | |
9 | 1491 | |
10 | 1470 | |
11 | 1444 | |
12 | 1442 | |
13 | 1423 | |
14 | 1417 | |
15 | 1317 | |
16 | 1291 | |
17 | 1276 | |
18 | 1271 | |
19 | 1263 | |
20 | 1245 |